<?php
if (PHP_OS === "Darwin")
{
    exit("skip for Darwin");
}